The number of children with chronic critical illness (CCI) is a growing population in the United States. A defining characteristic of this population is a prolonged hospital stay. Our study assessed the proportion of pediatric patients with chronic critical illness in U.S. hospitals at a specific point in time, and identified a subset of children whose hospital stay lasted for months to years. The potential harms of a prolonged hospitalization for children with CCI, which include over treatment, infection, disruption of (...) family life, and the intensive utilization of resources—combined with the moral distress experienced by the clinicians who care for the children, suggest the need for ethical analysis of this growing issue to identify actions that could be taken at the clinical and health systems levels to reduce the harms associated with prolonged hospital stay.In this article we present three real cases from our study that involved a very long hospital stay. We applied a framework developed by Mackenzie, Rogers, and Dodds to analyze inherent, situational, and pathogenic vulnerabilities to examine the ways that interventions intended to remedy one source of harm for the children in our cohort inadvertently created other harms. We examined the complex ways that children with protracted hospitalization are vulnerable to the choices made by their family and clinicians, as well as by healthcare systems and communities. Finally, we used this analysis to summarize actions and ethical responses to this growing patient population. Such an understanding is essential to making clinical and ethical decisions that arise for children who are at risk for a very long stay in the hospital. (shrink)

We present a computational analysis of de re, de dicto, and de se belief and knowledge reports. Our analysis solves a problem first observed by Hector-Neri Castañeda, namely, that the simple rule -/- `(A knows that P) implies P' -/- apparently does not hold if P contains a quasi-indexical. We present a single rule, in the context of a knowledge-representation and reasoning system, that holds for all P, including those containing quasi-indexicals. In so doing, we explore the difference between reasoning (...) in a public communication language and in a knowledge-representation language, we demonstrate the importance of representing proper names explicitly, and we provide support for the necessity of considering sentences in the context of extended discourse (for example, written narrative) in order to fully capture certain features of their semantics. (shrink)

This project continues our interdisciplinary research into computational and cognitive aspects of narrative comprehension. Our ultimate goal is the development of a computational theory of how humans understand narrative texts. The theory will be informed by joint research from the viewpoints of linguistics, cognitive psychology, the study of language acquisition, literary theory, geography, philosophy, and artificial intelligence. The linguists, literary theorists, and geographers in our group are developing theories of narrative language and spatial understanding that are being tested by the (...) cognitive psychologists and language researchers in our group, and a computational model of a reader of narrative text is being developed by the AI researchers, based in part on these theories and results and in part on research on knowledge representation and reasoning. This proposal describes the knowledge-representation and natural-language-processing issues involved in the computational implementation of the theory; discusses a contrast between communicative and narrative uses of language and of the relation of the narrative text to the story world it describes; investigates linguistic, literary, and hermeneutic dimensions of our research; presents a computational investigation of subjective sentences and reference in narrative; studies children’s acquisition of the ability to take third-person perspective in their own storytelling; describes the psychological validation of various linguistic devices; and examines how readers develop an understanding of the geographical space of a story. This report is a longer version of a project description submitted to NSF. This document, produced in May 2007, is a L ATEX version of Technical Report 89-07 (Buffalo: SUNY Buffalo Department of Computer Science, August 1989), with slightly.. (shrink)

When the COVID-19 surge hit New York City hospitals, the Division of Medical Ethics at Weill Cornell Medical College, and our affiliated ethics consultation services, faced waves of ethical issues sweeping forward with intensity and urgency. In this article, we describe our experience over an eight-week period (16 March through 10 May 2020), and describe three types of services: clinical ethics consultation (CEC); service practice communications/interventions (SPCI); and organizational ethics advisement (OEA). We tell this narrative through the prism of time, (...) describing the evolution of ethical issues and trends as the pandemic unfolded. We delineate three phases: anticipation and preparation, crisis management, and reflection and adjustment. The first phase focused predominantly on ways to address impending resource shortages and to plan for remote ethics consultation, and CECs focused on code status discussions with surrogates. The second phase was characterized by the dramatic convergence of a rapid increase in the number of critically ill patients, a growing scarcity of resources, and the reassignment/ redeployment of staff outside their specialty areas. The third phase was characterized by the recognition that while the worst of the crisis was waning, its medium- and long-term consequences continued to pose immense challenges. We note that there were times during the crisis that serving in the role of clinical ethics consultant created a sense of dis-ease as novel as the coronavirus itself. In retrospect we learned that our activities far exceeded the familiar terrain of clinical ethics consultation and extended into other spheres of organizational life in novel ways that were unanticipated before this pandemic. To that end, we defined and categorized a middle level of ethics consultation, which we have termed service practice communication intervention (SPCI). This is an underappreciated dimension of the work that ethics consult services are capable of in times of crisis. We believe that the pandemic has revealed the many enduring ways that ethics consultation services can more robustly contribute to the ethical life of their institutions moving forward. (shrink)

Addressing the issue of how to read Nietzsche, this book presents an accessible series of essays for students and general readers on Nietzsche's individual works, written by such distinguished Nietzsche scholars as Frithjof Bergmann, Arthur Danto, Bernd Magnus, Christopher Middleton, Eric Blondel, Lars Gustaffson, Alexander Nehamas, Richard Schacht, Gary Shapiro, Hugh Silverman, and Ivan Soll. Among the works discussed are On the Genealogy of Morals, Beyond Good and Evil, Thus Spoke Zarathustra, Twilight of the Idols and The Will to (...) Power. (shrink)

This paper uses neo-Fregean-style abstraction principles to develop the integers from the natural numbers (assuming Hume’s principle), the rational numbers from the integers, and the real numbers from the rationals. The first two are first-order abstractions that treat pairs of numbers: (DIF) INT(a,b)=INT(c,d) ≡ (a+d)=(b+c). (QUOT) Q(m,n)=Q(p,q) ≡ (n=0 & q=0) ∨ (n≠0 & q≠0 & m⋅q=n⋅p). The development of the real numbers is an adaption of the Dedekind program involving “cuts” of rational numbers. Let P be a property (of (...) rational numbers) and r a rational number. Say that r is an upper bound of P, written P≤r, if for any rational number s, if Ps then either s<r or s=r. In other words, P≤r if r is greater than or equal to any rational number that P applies to. Consider the Cut Abstraction Principle: (CP) ∀P∀Q(C(P)=C(Q) ≡ ∀r(P≤r ≡ Q≤r)). In other words, the cut of P is identical to the cut of Q if and only if P and Q share all of their upper bounds. The axioms of second-order real analysis can be derived from (CP), just as the axioms of second-order Peano arithmetic can be derived from Hume’s principle. The paper raises some of the philosophical issues connected with the neo-Fregean program, using the above abstraction principles as case studies. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 249 larger sections of the work will be translated-preferably not from the Latin, but from the Arabic original. JOSEPHL. B~u Columbia University Commentary on the Metaphysics of Aristotle. By St. Thomas Aquinas. Trans. by John P. Rowan. (Chicago, Illinois: Henry Regnery Company, 1961. Pp. xxiii + 955.2 vols., boxed, $25.00.) Generally speaking, the two Summae of St. Thomas, long available in English translation, contain all that is (...) most personal and most profound in his philosophical thought. Nonetheless, it is quite impossible to get a fully adequate conception of St. Thomas' place in the history of western thought from a consideration of his theological writings alone. Hence, by translating St. Thomas' Commentary on the Metaphysics of Aristotle into English, Professor J. P. Rowan has provided the non-Latin reading student of the history of philosophy an invaluable service. For it is in his r61e as Aristotelian commentator that we see St. Thomas creating for the Schoolmen a version of Aristotle which served to render the Stagirite's thought into terms which became fundamental to the philosophical defense of Christianity. Further, by keeping in mind the fully-developed notions of St. Thomas on the existence of God and the nature of being as these are given us to understand in the Summae, the reader becomes better enabled, by a critical reading of Thomas' Commentary, to grasp the sense in which the Saint's theological writings are said by his enthusiasts to represent a "completing" and "perfecting" of Aristotle's thought. Professor Rowan's translation is based upon the Turin, 1950, edition of R. M. Spiazzi. This edition is itself fundamentally the older edition of M. R. Cathala, containing but few emendations. Although the translator was obliged to check Spiazzi occasionally against the Parma and Viv6s editions of Thomas' Opera Omnia, the usefulness of such consultation was, as Professor Rowan himself states, "limited inasmuch as both the editions of Viv~s and that of Cathala use Parma as their basic text" (p. vii). Further, since the edition from which he worked was not critical, Professor Rowan found it necessary in some instances to himself emend the reading of the Spiazzi text. However, where such alterations were made, and where indeed they were not obviously required, Professor Rowan indicated his iustification for the change in a footnote. It is unfortunate that no critical edition of Thomas' work was available to his translator; still, although a final evaluation of his emendations must, of course, attend the future appearance of a critical edition of Thomas' work, so far as we were able to judge, Professor Rowan's 250 HISTORY OF PHILOSOPHY changes were in all instances quite reasonable and well ]ustified. Professor Rowan has wisely included a translation of that version of the Aristotelian text upon which St. Thomas (in all probability) based his commentary. As this Latin version frequently departs from such currently available English translations as those of W. D. Ross, H. Tredennik, and others which are based upon Greek sources, a good deal of confusion as to Thomas' actual point of departure would have been introduced had this inclusion not been made. The general value and utility of Professor Rowan's work is further increased by his footnoted indications of the more important variations obtaining between the Greek text (as given in Bekker), and the Latin version employed by St. Thomas. For the reader who wishes to compare the Latin version, the Greek text, and the English translations, Professor Rowan has provided the standard Bekker reference numbers at the beginning of each of Thomas' Lectiones. To further simplify the whole matter of reference and cross-reference, Professor Rowan has used the letter C, followed by a numeral, to designate sections of Thomas' Commentary. These sections are the same as those established originally by Cathala. Numbers not preceded by C designate the appropriate sections of the Latin version of Aristotle's text, and correspond with those given by Spiazzi in his revision of the Cathala edition. Thus, as example, in such a reference as (241:C345), the first number designates the section of the version of Aristotle employed by St. Thomas, and the second, the section of St. Thomas... (shrink)

We describe our explicit Lorentz-invariant solution of the Einstein and null geodesic equations for the deflection experiment of 2002 September 8 when a massive moving body, Jupiter, passed within 3.7’ of a line-of-sight to a distant quasar. We develop a general relativistic framework which shows that our measurement of the retarded position of a moving light-ray deflecting body (Jupiter) by making use of the gravitational time delay of quasar’s radio wave is equivalent to comparison of the relativistic laws of the (...) Lorentz transformation for gravity and light. Because, according to Einstein, the Lorentz transformation of gravity field variables must depend on a fundamental speed c, its measurement through the retarded position of Jupiter in the gravitational time delay allows us to study the causal nature of gravity and to set an upper limit on the speed of propagation of gravity in the near zone of the solar system as contrasted to the speed of the radio waves. In particular, the v/c term beyond of the standard Einstein’s deflection, which we measured to 20% accuracy, is associated with the aberration of the null direction of the gravity force (“aberration of gravity”) caused by the Lorentz transformation of the Christoffel symbols from the static frame of Jupiter to the moving frame of observer. General relativistic formulation of the experiment identifies the aberration of gravity with the retardation of gravity because the speed of gravitational waves in Einstein’s theory is equal to the speed of propagation of the gravity force. We discuss the misconceptions which have inhibited the acceptance of this interpretation of the experiment. We also comment on other interpretations of this experiment by Asada, Will, Samuel, Pascual–Sánchez, and Carlip and show that their “speed of light” interpretations confuse the Lorentz transformation for gravity with that for light, and the fundamental speed of gravity with the physical speed of light from the quasar. For this reason, the “speed of light” interpretations are not entirely consistent with a retarded Liénard–Wiechert solution of the Einstein equations, and do not properly incorporate how the phase of the radio waves from the quasar is perturbed by the retarded gravitational field of Jupiter. Although all of the formulations predict the same deflection to the order of v/c, our formulation shows that the underlying cause of this deflection term is associated with the aberration of gravity and not of light, and that the interpretations predict different deflections at higher orders of v/c beyond the Shapiro delay, thus, making their measurement highly desirable for deeper testing of general relativity in future astrometric experiments like Gaia, SIM, and SKA. (shrink)

This paper challenges T. S. Gendler's notion of aliefs, a novel kind of mental state which she introduces to explain a wide variety of belief-discordant behaviors. In particular, I argue that many of the cases which she uses to motivate such a mental state can be fully explained by accounts that make use only of commonplace attitudes such as beliefs and desires.

It has recently been argued that hope is polysemous in that it sometimes refers to hoping and other times to being hopeful. That it has these two distinct senses is reflected in the observation that a person can hope for an outcome without being hopeful that it will occur. Below, I offer a new argument for this distinction. My strategy is to show that accepting this distinction yields a rich account of two distinct ways in which hope can be lost, (...) ways that map onto the two senses of hope: A person can lose hope either by ceasing to hope for an outcome (hopelessness) or by ceasing to be hopeful that it will obtain (despair). Thinking about these negative attitudes in these two ways, I contend, is explanatorily rich and fruitfully reveals how they differ in phenomenology, behavioral differences, and the ways in which a person can escape them. (shrink)

BackgroundIn December 2014, China announced that only voluntarily donated organs from citizens would be used for transplantation after January 1, 2015. Many medical professionals worldwide believe that China has stopped using organs from death-row prisoners.DiscussionIn the present article, we briefly review the historical development of organ procurement from death-row prisoners in China and comprehensively analyze the social-political background and the legal basis of the announcement. The announcement was not accompanied by any change in organ sourcing legislations or regulations. As a (...) fact, the use of prisoner organs remains legal in China. Even after January 2015, key Chinese transplant officials have repeatedly stated that death-row prisoners have the same right as regular citizens to “voluntarily donate” organs. This perpetuates an unethical organ procurement system in ongoing violation of international standards.ConclusionsOrgan sourcing from death-row prisoners has not stopped in China. The 2014 announcement refers to the intention to stop the use of organs illegally harvested without the consent of the prisoners. Prisoner organs procured with “consent” are now simply labelled as “voluntarily donations from citizens”. The semantic switch may whitewash sourcing from both death-row prisoners and prisoners of conscience. China can gain credibility only by enacting new legislation prohibiting use of prisoner organs and by making its organ sourcing system open to international inspections. Until international ethical standards are transparently met, sanctions should remain. (shrink)

Physicians have an ethical responsibility to their patients to offer the best available medical care. This responsibility conflicts with their role as gatekeepers of the limited health care resources available for all patients collectively. It is ethically untenable to expect doctors to face this trade-off during each patient encounter; the physician cannot be expected to compromise the wellbeing of the patient in the office in favour of anonymous patients elsewhere. Hence, as in other domains of public policy where individual and (...) collective interests conflict, some form of collective solution is required. Collective solutions may take the form of placing explicit resource constraints on resources available to physicians, or clinical practice guidelines that recognise cost-effective care as acceptable. Such solutions will be politically and ethically sustainable only if patients as citizens of the larger population accept the need for rationing of limited resources in health care. (shrink)

The answer to philosophical questions will often depend on the position one takes regarding the fact-value problem. It is, therefore, not surprising that, in the tradition of western philosophy, the past 200 years or so record an animated discussion of it. In the present collection the debate is continued by representatives of various "schools" in contemporary western thought. A number of philosophers from non-western cultures, too, enter into it. The contributions do not all reflect on the same theme, nor do (...) they use the same approach. Essays written by philosophers sympathetic to the analytical tradition are followed by reflections on the part of those inspired by phe nomenology. A third group of contributions is by non-western thinkers, who are more likely to approach the problem in terms of culture. Their engage ment with the issue clearly shows, among other things, that it is almost exclusively in the western tradition that the fact-value distinction is often understood as an outright dichotomy. The occasion for the publication of this collection is Dr. Cornelis Anthonie van Peursen's retirement as Professor of Philosophy. This year he leaves the Free University, Amsterdam; until 1982 he was professor at the University of Leyden as well. In the Netherlands and beyond he has become known for his concern with constructive comparison of diverging philosophical trends and the cross-cultural fertilization of thought. Characteristic of his career are his efforts to render the results of academic philosophizing understand able to a broader audience. (shrink)

Given the possibilities of synthetic biology, weapons of mass destruction and global climate change, humans may achieve the capacity globally to alter life. This crisis calls for an ethics that furnishes effective motives to take global action necessary for survival. We propose a research program for understanding why ethical principles change across time and culture. We also propose provisional motives and methods for reaching global consensus on engineering field ethics. Current interdisciplinary research in ethics, psychology, neuroscience and evolutionary theory grounds (...) these proposals. Experimental ethics, the application of scientific principles to ethical studies, provides a model for developing policies to advance solutions. A growing literature proposes evolutionary explanations for moral development. Connecting these approaches necessitates an experimental or scientific ethics that deliberately examines theories of morality for reliability. To illustrate how such an approach works, we cover three areas. The first section analyzes cross-cultural ethical systems in light of evolutionary theory. While such research is in its early stages, its assumptions entail consequences for engineering education. The second section discusses Howard University and University of Puerto Rico/Mayagüez (UPRM) courses that bring ethicists together with scientists and engineers to unite ethical theory and practice. We include a syllabus for engineering and STEM (Science, Technology, Engineering and Mathematics) ethics courses and a checklist model for translating educational theory and practice into community action. The model is based on aviation, medicine and engineering practice. The third and concluding section illustrates Howard University and UPRM efforts to translate engineering educational theory into community action. Multidisciplinary teams of engineering students and instructors take their expertise from the classroom to global communities to examine further the ethicality of prospective technologies and the decision-making processes that lead to them. (shrink)

Today's modern car is an assemblage of mechanical and digital components, of metal panels that comprise its structure and silicon chips that run its functions. Communication and information studies scholars have interrogated the problematic aspects of the programs that run those functions, revealing serious issues surrounding privacy and security, worker surveillance, and racial, gendered, and class-based bias. This article contributes to that work by taking a step back and asking about the issues inherent not in the software running on these (...) chips, but on the microchips themselves. Using the lens of “chipification”—the process by which a device is rendered capable of reading and processing data through the embedding of microchips—this article explores how the integration of microchips also involves processes that are often borne from, replicate, or create troubling power dynamics of their own. It takes light-duty passenger vehicles as a case study into how chipification is radically reshaping such processes as resource allocation, labor flows, and cultural practices around car manufacture, use, repair, and modification. By naming the process of chipification, this article allows researchers to identify and analyze the ways that integrating data processing capabilities into everyday devices is not a frictionless practice, but rather one that implicates a variety of power dynamics within these massive industries. (shrink)

The requirement of gauge invariance for the Schwinger-DeWitt equations, interpreted as a manifestly covariant quantum theory for the evolution of a system in spacetime, implies the existence of a five-dimensional pre-Maxwell field on the manifold of spacetime and “proper time” τ. The Maxwell theory is contained in this theory; integration of the field equations over τ restores the Maxwell equations with the usual interpretation of the sources. Following Schwinger's techniques, we study the Green's functions for the five-dimensional hyperbolic field equations (...) for both signatures ± [corresponding to O(4, 1) or O(3, 2) symmetry of the field equations] of the proper time derivative. The classification of the Green's functions follows that of the four-dimensional theory for “massive” fields, for which the “mass” squared may be positive or negative, respectively. The Green's functions for the five-dimensional field are then given by the Fourier transform over the “mass” parameter. We derive the Green's functions corresponding to the principal part ΔP and the homogeneous function Δ 1 ; all of the Green's functions can be expressed in terms of these, as for the usual field equations with definite mass. In the O(3, 2) case, the principal part function has support for x2⩾τ2, corresponding to spacelike propagation, as well as along the light cone x2=0 (for τ=0). There can be no transmission ofinformation in spacelike directions, with this propagator, since the Maxwell field, obtained by integration over τ, does not contain this component of the support. Measurements are characterized by such an integration. The spacelike field therefore can dynamically establish spacelike correlations. (shrink)

Since 1995, students, researchers, and professionals have turned to The Craft of Research for clear and helpful guidance on how to conduct research and report it effectively. Now, master teachers Wayne C. Booth, Gregory G. Colomb, and Joseph M. Williams have completely revised and updated their classic handbook. The new edition will continue to help thousands of students and writers plan, carry out, and report on research to produce effective term papers, dissertations, articles, or books -- in any field, at (...) any level. (shrink)

Le XI.ème Congrès International de Philosophie Médiévale de la Société Internationale pour l’Étude de la Philosophie Médiévale (S.I.E.P.M..) s’est déroulé à Porto (Portugal), du 26 au 30 août 2002, sous le thème général: Intellect et Imagination dans la Philosophie Médiévale. A partir des héritages platonicien, aristotélicien, stoïcien, ou néo-platonicien (dans leurs variantes grecques, latines, arabes, juives), la conceptualisation et la problématisation de l’imagination et de l’intellect, ou même des facultés de l’âme en général, apparaissaient comme une ouverture possible pour aborder (...) les principaux points de la pensée médiévale. Les Actes du congrès montrent que « imagination » et « intellect » sont porteurs d’une richesse philosophique extraordinaire dans l’économie de la philosophie médiévale et de la constitution de ses spécificités historiques. Dans sa signification la plus large, la théorisation de ces deux facultés de l’âme permet de dédoubler le débat en au moins six grands domaines: — la relation avec le sensible, où la fantaisie/l’imagination joue le rôle de médiation dans la perception du monde et dans la constitution de la connaissance ; — la réflexion sur l’acte de connaître et la découverte de soi en tant que sujet de pensée ; — la position dans la nature, dans le cosmos, et dans le temps de celui qui pense et qui connaît par les sens externes, internes et par l’intellect ; — la recherche d’un fondement pour la connaissance et l’action, par la possibilité du dépassement de la distante proximité du transcendant, de l’absolu, de la vérité et du bien ; — la réalisation de la félicité en tant qu’objectif ultime, de même que la découverte d’une tendance au dépassement actif ou mystique de toutes les limites naturelles et des facultés de l’âme ; — la constitution de théories de l’image, sensible ou intellectuelle, et de ses fonctions. Les 3 volumes d’Actes incluent les 16 leçons plénières et 112 communications, ainsi que les index correspondants (manuscrits ; noms anciens et médiévaux ; noms modernes ; auteurs). Le volume IV des Actes, contenant 39 communications et des index, est publié par la revue " Mediaevalia. Textos e Estudos ", du Gabinete de Filosofia Medieval de l’Universidade do Porto (volume 23, de 2004). Ouvrage publié avec l’appui de l’Universidade do Porto, de la Faculdade de Letras da U.P., du Departamento de Filosofia - F.L.U.P. et de la Fundação para a Ciência e a Tecnologia (Portugal). (shrink)

If T has only countably many complete types, yet has a type of infinite multiplicity then there is a c.c.c. forcing notion Q such that, in any Q-generic extension of the universe, there are non-isomorphic models M 1 and M 2 of T that can be forced isomorphic by a c.c.c. forcing. We give examples showing that the hypothesis on the number of complete types is necessary and what happens if `c.c.c.' is replaced by other cardinal-preserving adjectives. We also give (...) an example showing that membership in a pseudo-elementary class can be altered by very simple cardinal-preserving forcings. (shrink)

This volume sheds light on still unexplored issues and raises new questions in the main areas addressed by the philosophy of science. Bringing together selected papers from three main events, the book presents the most advanced scientific results in the field and suggests innovative lines for further investigation. It explores how discussions on several notions of the philosophy of science can help different scientific disciplines in learning from each other. Finally, it focuses on the relationship between Cambridge and Vienna in (...) twentieth century philosophy of science. The areas examined in the book are: formal methods, the philosophy of the natural and life sciences, the cultural and social sciences, the physical sciences, and the history of the philosophy of science. (shrink)

M. C. Dillon was widely regarded as a world-leading Merleau-Ponty scholar. His book Merleau-Ponty’s Ontology is recognized as a classic text that revolutionized the philosophical conversation about the great French phenomenologist. Dillon followed that book with two others: Semiological Reductionism, a critique of early-1990s linguistic reductionism, and Beyond Romance, a richly developed theory of love. At the time of his death, Dillon had nearly completed two further books to which he was passionately committed. The first one offers a highly original (...) interpretation of Nietzsche’s ontology of becoming. The second offers a detailed ethical theory based on Merleau-Ponty’s account of carnal intersubjectivity. The Ontology of Becoming and the Ethics of Particularity collects these two manuscripts written by a distinguished philosopher at the peak of his powers—manuscripts that, taken together, offer a distinctive and powerful view of human life and ethical relations. (shrink)

We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)